home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / noweb / src / shell / noroots < prev    next >
Text File  |  1995-02-24  |  369b  |  15 lines
  1. #!/bin/sh
  2. #
  3. # Copyright 1991 by Norman Ramsey.  All rights reserved.
  4. # See file COPYRIGHT for more information.
  5. # set -x
  6. LIB=|LIBDIR|
  7. $LIB/markup $* | nawk '
  8. /^@defn / { chunk=substr($0,7) ; defined[chunk]=1 }
  9. /^@use /  { chunk=substr($0,6) ; used[chunk]=1 }
  10. END {
  11.   for (chunk in defined) {
  12.     if (defined[chunk]==1 && used[chunk]==0) printf "<<%s>>\n", chunk
  13.   }
  14. }'
  15.